Answer Set Programming by Vladimir Lifschitz

Answer Set Programming by Vladimir Lifschitz

Author:Vladimir Lifschitz
Language: eng
Format: epub, pdf
ISBN: 9783030246587
Publisher: Springer International Publishing


51.

Michael Gelfond and Vladimir Lifschitz. The stable model semantics for logic programming. In Robert Kowalski and Kenneth Bowen, editors, Proceedings of International Logic Programming Conference and Symposium, pages 1070–1080. MIT Press, 1988.

53.

Michael Gelfond and Vladimir Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9:365–385, 1991.Crossref

68.

Carol Ruth Karp. Languages with expressions of infinite length. North-Holland, Amsterdam, 1964.



Download



Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.